81. Formal Grammar 2018 :
Author: Annie Foret, Greg Kobele, Sylvain Pogodalla (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational linguistics, Congresses.,Formal languages, Congresses.,Mathematical linguistics, Congresses.,Computational linguistics.,Formal languages.,Mathematical linguistics.
Classification :
P98
.
I58
2018eb
82. Foundations of Logic Programming
Author: by John Wylie Lloyd.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
Classification :
QA76
.
6
B956
1984
83. Fundamentals of mathematical logic /
Author: Peter G. Hinman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Model theory.,Recursion theory.,Set theory.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Model theory.,Recursion theory.,Set theory.
Classification :
QA9
.
H527
2005
84. Fuzzy Databases :
Author: by Frederick E. Petry.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.,Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.
Classification :
QA8
.
9-10
.
3
85. Fuzzy Logic :
Author: W Leinfellner
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Fuzzy sets -- Congresses.,Fuzzy systems -- Congresses.
86. Fuzzy Sets in Information Retrieval and Cluster Analysis
Author: by Sadaaki Miyamoto.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics.,Systems theory.
Classification :
QA248
.
B973
1990
87. Fuzzy Systems
Author: edited by Hung T. Nguyen, Michio Sugeno.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer engineering.,Logic, Symbolic and mathematical.,Mathematics.,Mechanical engineering.,Operations research.
88. Geometric Calculus
Author: by Giuseppe Peano.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics.
89. Graph structure and monadic second-order logic :
Author: Bruno Courcelle, Joost Engelfriet
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical-- Graphic methods
Classification :
QA9
.
C748
2012
90. Handbook of mathematical logic. tics; ed. by barwise, jon.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Symbolische logica.,Wiskundige logica.
Classification :
QA9
.
H32
1977
91. Includes bibliographical references (p. 49-51). 0,B
Author: Zeren Tanındı. ,/ Katie Normington.
Library: Library of Islamic Parliament (Tehran)
Subject:
92. Inconsistent Mathematics
Author: by Chris Mortensen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Logic, Symbolic and mathematical.,Logic.,Mathematics.
93. Institution-independent model theory
Author: Diaconescu, Razvan
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Model theory,، Logic, Symbolic and mathematical
Classification :
QA
9
.
7
.
D53
2008
94. Intelligent Tutoring Systems :
Author: edited by Mitsuru Ikeda, Kevin D. Ashley, Tak-Wai Chan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information systems.,Multimedia systems.
95. Interpolation Theory and Its Applications
Author: by L. A. Sakhnovich.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Fourier analysis.,Logic, Symbolic and mathematical.,Mathematics.,Operator theory.
96. Introduction to mathematical logic
Author: Malitz, Jerome
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Logic, Symbolic and mathematical
Classification :
9
.
M265
97. Introduction to mathematical logic
Author: / [by] Jerome Malitz
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
QA9
،.
M265
98. Introduction to mathematical logic
Author: / Jerome Malitz
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
QA
9
.
M265
99. Introduction to mathematical logic /
Author: Elliott Mendelson
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical
Classification :
QA9
.
M4
2010
100. Introduction to mathematical logic
Author: Jerome Malitz
Library: Vali Asr University Central Library (Kerman)
Subject: Logic, Symbolic and mathematical
Classification :
QA
9
.
M265
